Dict(
	[16, 13, 12, 4, 16, 1, 1, 12, 1, 1] => QQFieldElem[-1//8, 0, 0, 0])